How to infer generic type of a generic